#include"../common.h"
void init_difftest(char *ref_so_file, long img_size, int port);
void difftest_step(word_t pc, word_t npc);
void difftest_skip_ref();
void difftest_initr(uint64_t NO);